Combining Texts

All the ideas for 'Logic (Encyclopedia I)', 'Propositions' and 'Naming and Necessity lectures'

expand these ideas     |    start again     |     specify just one area for these texts


146 ideas

1. Philosophy / D. Nature of Philosophy / 5. Aims of Philosophy / b. Philosophy as transcendent
True philosophy aims at absolute unity, while our understanding sees only separation [Hegel]
1. Philosophy / D. Nature of Philosophy / 6. Hopes for Philosophy
Free thinking has no presuppositions [Hegel]
1. Philosophy / E. Nature of Metaphysics / 1. Nature of Metaphysics
The ideal of reason is the unification of abstract identity (or 'concept') and being [Hegel]
1. Philosophy / E. Nature of Metaphysics / 2. Possibility of Metaphysics
Older metaphysics naively assumed that thought grasped things in themselves [Hegel]
Kripke separated semantics from metaphysics, rather than linking them, making the latter independent [Kripke, by Stalnaker]
1. Philosophy / E. Nature of Metaphysics / 6. Metaphysics as Conceptual
Logic is metaphysics, the science of things grasped in thoughts [Hegel]
1. Philosophy / F. Analytic Philosophy / 4. Conceptual Analysis
Analyses of concepts using entirely different terms are very inclined to fail [Kripke]
1. Philosophy / H. Continental Philosophy / 1. Continental Philosophy
We must break up the rigidity that our understanding has imposed [Hegel]
2. Reason / A. Nature of Reason / 3. Pure Reason
Let thought follow its own course, and don't interfere [Hegel]
2. Reason / A. Nature of Reason / 5. Objectivity
Categories create objective experience, but are too conditioned by things to actually grasp them [Hegel]
2. Reason / B. Laws of Thought / 3. Non-Contradiction
If truth is just non-contradiction, we must take care that our basic concepts aren't contradictory [Hegel]
2. Reason / C. Styles of Reason / 1. Dialectic
Dialectic is the moving soul of scientific progression, the principle which binds science together [Hegel]
Dialectic is seen in popular proverbs like 'pride comes before a fall' [Hegel]
Socratic dialectic is subjective, but Plato made it freely scientific and objective [Hegel]
Older metaphysics became dogmatic, by assuming opposed assertions must be true and false [Hegel]
2. Reason / D. Definition / 2. Aims of Definition
Some definitions aim to fix a reference rather than give a meaning [Kripke]
3. Truth / A. Truth Problems / 2. Defining Truth
Superficial truth is knowing how something is, which is consciousness of bare correctness [Hegel]
3. Truth / A. Truth Problems / 5. Truth Bearers
Are the truth-bearers sentences, utterances, ideas, beliefs, judgements, propositions or statements? [Cartwright,R]
Logicians take sentences to be truth-bearers for rigour, rather than for philosophical reasons [Cartwright,R]
In Hegel's logic it is concepts (rather than judgements or propositions) which are true or false [Hegel, by Scruton]
3. Truth / A. Truth Problems / 7. Falsehood
In the deeper sense of truth, to be untrue resembles being bad; badness is untrue to a thing's nature [Hegel]
3. Truth / C. Correspondence Truth / 1. Correspondence Truth
The deeper sense of truth is a thing matching the idea of what it ought to be [Hegel]
4. Formal Logic / D. Modal Logic ML / 1. Modal Logic
Kripke's modal semantics presupposes certain facts about possible worlds [Kripke, by Zalta]
5. Theory of Logic / D. Assumptions for Logic / 2. Excluded Middle
Excluded middle is the maxim of definite understanding, but just produces contradictions [Hegel]
5. Theory of Logic / F. Referring in Logic / 1. Naming / a. Names
Names are rigid, making them unlike definite descriptions [Kripke, by Sainsbury]
Names are rigid designators, which designate the same object in all possible worlds [Kripke]
5. Theory of Logic / F. Referring in Logic / 1. Naming / b. Names as descriptive
A bundle of qualities is a collection of abstractions, so it can't be a particular [Kripke]
A name can still refer even if it satisfies none of its well-known descriptions [Kripke]
5. Theory of Logic / F. Referring in Logic / 1. Naming / c. Names as referential
Some references, such as 'Neptune', have to be fixed by description rather than baptism [Kripke, by Szabó]
Proper names must have referents, because they are not descriptive [Kripke, by Sainsbury]
A name's reference is not fixed by any marks or properties of the referent [Kripke]
5. Theory of Logic / L. Paradox / 3. Antinomies
The idea that contradiction is essential to rational understanding is a key modern idea [Hegel]
Tenderness for the world solves the antinomies; contradiction is in our reason, not in the essence of the world [Hegel]
Antinomies are not just in four objects, but in all objects, all representations, all objects and all ideas [Hegel]
7. Existence / D. Theories of Reality / 2. Realism
Kripke's metaphysics (essences, kinds, rigidity) blocks the slide into sociology [Kripke, by Ladyman/Ross]
7. Existence / E. Categories / 1. Categories
Even simple propositions about sensations are filled with categories [Hegel]
Thought about particulars is done entirely through categories [Hegel]
9. Objects / A. Existence of Objects / 5. Individuation / b. Individuation by properties
Kripke individuates objects by essential modal properties (and presupposes essentialism) [Kripke, by Putnam]
9. Objects / B. Unity of Objects / 2. Substance / a. Substance
The one substance is formless without the mediation of dialectical concepts [Hegel]
9. Objects / C. Structure of Objects / 6. Constitution of an Object
Given that a table is made of molecules, could it not be molecular and still be this table? [Kripke]
If we imagine this table made of ice or different wood, we are imagining a different table [Kripke]
9. Objects / D. Essence of Objects / 2. Types of Essence
For Kripke, essence is origin; for Putnam, essence is properties; for Wiggins, essence is membership of a kind [Kripke, by Mautner]
9. Objects / D. Essence of Objects / 5. Essence as Kind
Atomic number 79 is part of the nature of the gold we know [Kripke]
9. Objects / D. Essence of Objects / 6. Essence as Unifier
Essence is the essential self-positing unity of immediacy and mediation [Hegel]
9. Objects / D. Essence of Objects / 7. Essence and Necessity / a. Essence as necessary properties
An essential property is true of an object in any case where it would have existed [Kripke]
De re modality is an object having essential properties [Kripke]
9. Objects / D. Essence of Objects / 9. Essence and Properties
Important properties of an object need not be essential to it [Kripke]
9. Objects / D. Essence of Objects / 10. Essence as Species
Kripke says internal structure fixes species; I say it is genetic affinity and a common descent [Kripke, by Dummett]
Given that Nixon is indeed a human being, that he might not have been does not concern knowledge [Kripke]
9. Objects / D. Essence of Objects / 14. Knowledge of Essences
Real cognition grasps a thing from within itself, and is not satisfied with mere predicates [Hegel]
Kripke claims that some properties, only knowable posteriori, are known a priori to be essential [Kripke, by Soames]
An essence is the necessary properties, derived from an intuitive identity, in origin, type and material [Kripke, by Witt]
9. Objects / E. Objects over Time / 1. Objects over Time
No one seems to know the identity conditions for a material object (or for people) over time [Kripke]
9. Objects / E. Objects over Time / 12. Origin as Essential
If we lose track of origin, how do we show we are maintaining a reference? [Kripke, by Wiggins]
Kripke argues, of the Queen, that parents of an organism are essentially so [Kripke, by Forbes,G]
Could the actual Queen have been born of different parents? [Kripke]
Socrates can't have a necessary origin, because he might have had no 'origin' [Lowe on Kripke]
9. Objects / F. Identity among Objects / 4. Type Identity
A token isn't a unique occurrence, as the case of a word or a number shows [Cartwright,R]
9. Objects / F. Identity among Objects / 6. Identity between Objects
Identity statements can be contingent if they rely on descriptions [Kripke]
If Hesperus and Phosophorus are the same, they can't possibly be different [Kripke]
10. Modality / A. Necessity / 2. Nature of Necessity
Kripke says his necessary a posteriori examples are known a priori to be necessary [Kripke, by Mackie,P]
10. Modality / A. Necessity / 7. Natural Necessity
Instead of being regularities, maybe natural laws are the weak a posteriori necessities of Kripke [Kripke, by Psillos]
Physical necessity may be necessity in the highest degree [Kripke]
10. Modality / D. Knowledge of Modality / 1. A Priori Necessary
Kripke separates necessary and a priori, proposing necessary a posteriori and contingent a priori examples [Kripke, by O'Grady]
A priori = Necessary because we imagine all worlds, and we know without looking at actuality? [Kripke]
10. Modality / D. Knowledge of Modality / 2. A Priori Contingent
The meter is defined necessarily, but the stick being one meter long is contingent a priori [Kripke]
10. Modality / D. Knowledge of Modality / 3. A Posteriori Necessary
Kripke has demonstrated that some necessary truths are only knowable a posteriori [Kripke, by Chalmers]
"'Hesperus' is 'Phosphorus'" is necessarily true, if it is true, but not known a priori [Kripke]
Theoretical identities are between rigid designators, and so are necessary a posteriori [Kripke]
10. Modality / D. Knowledge of Modality / 4. Conceivable as Possible / a. Conceivable as possible
Kripke's essentialist necessary a posteriori opened the gap between conceivable and really possible [Soames on Kripke]
Kripke gets to the necessary a posteriori by only allowing conceivability when combined with actuality [Kripke, by Soames]
10. Modality / E. Possible worlds / 2. Nature of Possible Worlds / a. Nature of possible worlds
Possible worlds aren't puzzling places to learn about, but places we ourselves describe [Kripke]
10. Modality / E. Possible worlds / 3. Transworld Objects / a. Transworld identity
If we discuss what might have happened to Nixon, we stipulate that it is about Nixon [Kripke]
Transworld identification is unproblematic, because we stipulate that we rigidly refer to something [Kripke]
A table in some possible world should not even be identified by its essential properties [Kripke]
Identification across possible worlds does not need properties, even essential ones [Kripke]
10. Modality / E. Possible worlds / 3. Transworld Objects / b. Rigid designation
Test for rigidity by inserting into the sentence 'N might not have been N' [Kripke, by Lycan]
Kripke avoids difficulties of transworld identity by saying it is a decision, not a discovery [Kripke, by Jacquette]
Saying that natural kinds are 'rigid designators' is the same as saying they are 'indexical' [Kripke, by Putnam]
If Kripke names must still denote a thing in a non-actual situation, the statue isn't its clay [Gibbard on Kripke]
A rigid expression may refer at a world to an object not existing in that world [Kripke, by Sainsbury]
We do not begin with possible worlds and place objects in them; we begin with objects in the real world [Kripke]
It is a necessary truth that Elizabeth II was the child of two particular parents [Kripke]
10. Modality / E. Possible worlds / 3. Transworld Objects / e. Possible Objects
That there might have been unicorns is false; we don't know the circumstances for unicorns [Kripke]
11. Knowledge Aims / B. Certain Knowledge / 4. The Cogito
The Cogito is at the very centre of the entire concern of modern philosophy [Hegel]
11. Knowledge Aims / C. Knowing Reality / 3. Idealism / d. Absolute idealism
Existence is just a set of relationships [Hegel]
12. Knowledge Sources / A. A Priori Knowledge / 1. Nature of the A Priori
Kripke has breathed new life into the a priori/a posteriori distinction [Kripke, by Lowe]
Rather than 'a priori truth', it is best to stick to whether some person knows it on a priori evidence [Kripke]
A priori truths can be known independently of experience - but they don't have to be [Kripke]
12. Knowledge Sources / A. A Priori Knowledge / 8. A Priori as Analytic
Kripke was more successful in illuminating necessity than a priority (and their relations to analyticity) [Kripke, by Soames]
Analytic judgements are a priori, even when their content is empirical [Kripke]
12. Knowledge Sources / B. Perception / 1. Perception
The sensible is distinguished from thought by being about singular things [Hegel]
12. Knowledge Sources / C. Rationalism / 1. Rationalism
Sense perception is secondary and dependent, while thought is independent and primitive [Hegel]
12. Knowledge Sources / D. Empiricism / 1. Empiricism
Empiricism made particular knowledge possible, and blocked wild claims [Hegel]
Empiricism contains the important idea that we should see knowledge for ourselves, and be part of it [Hegel]
12. Knowledge Sources / D. Empiricism / 5. Empiricism Critique
Empiricism unknowingly contains and uses a metaphysic, which underlies its categories [Hegel]
Empiricism of the finite denies the supersensible, and can only think with formal abstraction [Hegel]
The Humean view stops us thinking about perception, and finding universals and necessities in it [Hegel]
12. Knowledge Sources / E. Direct Knowledge / 2. Intuition
Intuition is the strongest possible evidence one can have about anything [Kripke]
13. Knowledge Criteria / D. Scepticism / 2. Types of Scepticism
Humean scepticism, unlike ancient Greek scepticism, accepts the truth of experience as basic [Hegel]
14. Science / B. Scientific Theories / 1. Scientific Theory
Identities like 'heat is molecule motion' are necessary (in the highest degree), not contingent [Kripke]
16. Persons / F. Free Will / 7. Compatibilism
In abstraction, beyond finitude, freedom and necessity must exist together [Hegel]
17. Mind and Body / A. Mind-Body Dualism / 7. Zombies
It seems logically possible to have the pain brain state without the actual pain [Kripke]
17. Mind and Body / E. Mind as Physical / 1. Physical Mind
Kripke assumes that mind-brain identity designates rigidly, which it doesn't [Armstrong on Kripke]
17. Mind and Body / E. Mind as Physical / 7. Anti-Physicalism / e. Modal argument
If consciousness could separate from brain, then it cannot be identical with brain [Kripke, by Papineau]
Kripke says pain is necessarily pain, but a brain state isn't necessarily painful [Kripke, by Rey]
Identity must be necessary, but pain isn't necessarily a brain state, so they aren't identical [Kripke, by Schwartz,SP]
Identity theorists seem committed to no-brain-event-no-pain, and vice versa, which seems wrong [Kripke]
18. Thought / A. Modes of Thought / 1. Thought
The act of thinking is the bringing forth of universals [Hegel]
18. Thought / B. Mechanics of Thought / 2. Categories of Understanding
Hegel's system has a vast number of basic concepts [Hegel, by Moore,AW]
18. Thought / D. Concepts / 1. Concepts / a. Nature of concepts
We don't think with concepts - we think the concepts [Hegel]
Active thought about objects produces the universal, which is what is true and essential of it [Hegel]
19. Language / A. Nature of Meaning / 1. Meaning
People don't assert the meaning of the words they utter [Cartwright,R]
For any statement, there is no one meaning which any sentence asserting it must have [Cartwright,R]
19. Language / B. Reference / 3. Direct Reference / a. Direct reference
Kripke derives accounts of reference and proper names from assumptions about worlds and essences [Stalnaker on Kripke]
Kripke has a definitional account of kinds, but not of naming [Almog on Kripke]
19. Language / B. Reference / 3. Direct Reference / b. Causal reference
The important cause is not between dubbing and current use, but between the item and the speaker's information [Evans on Kripke]
We may refer through a causal chain, but still change what is referred to [Kripke]
19. Language / B. Reference / 3. Direct Reference / c. Social reference
Kripke makes reference a largely social matter, external to the mind of the speaker [Kripke, by McGinn]
Kripke's theory is important because it gives a collective account of reference [Kripke, by Putnam]
We refer through the community, going back to the original referent [Kripke]
19. Language / B. Reference / 4. Descriptive Reference / b. Reference by description
Descriptive reference shows how to refer, how to identify two things, and how to challenge existence [Kripke, by PG]
It can't be necessary that Aristotle had the properties commonly attributed to him [Kripke]
19. Language / C. Assigning Meanings / 10. Two-Dimensional Semantics
Rigid designation creates a puzzle - why do some necessary truths appear to be contingent? [Kripke, by Macià/Garcia-Carpentiro]
19. Language / D. Propositions / 1. Propositions
We can pull apart assertion from utterance, and the action, the event and the subject-matter for each [Cartwright,R]
'It's raining' makes a different assertion on different occasions, but its meaning remains the same [Cartwright,R]
19. Language / D. Propositions / 4. Mental Propositions
We can attribute 'true' and 'false' to whatever it was that was said [Cartwright,R]
To assert that p, it is neither necessary nor sufficient to utter some particular words [Cartwright,R]
19. Language / F. Communication / 2. Assertion
Assertions, unlike sentence meanings, can be accurate, probable, exaggerated, false.... [Cartwright,R]
26. Natural Theory / B. Natural Kinds / 5. Reference to Natural Kinds
The properties that fix reference are contingent, the properties involving meaning are necessary [Kripke]
Terms for natural kinds are very close to proper names [Kripke]
26. Natural Theory / B. Natural Kinds / 6. Necessity of Kinds
Gold's atomic number might not be 79, but if it is, could non-79 stuff be gold? [Kripke]
'Cats are animals' has turned out to be a necessary truth [Kripke]
26. Natural Theory / B. Natural Kinds / 7. Critique of Kinds
Nominal essence may well be neither necessary nor sufficient for a natural kind [Kripke, by Bird]
26. Natural Theory / C. Causation / 1. Causation
Old metaphysics tried to grasp eternal truths through causal events, which is impossible [Hegel]
26. Natural Theory / D. Laws of Nature / 8. Scientific Essentialism / b. Scientific necessity
The scientific discovery (if correct) that gold has atomic number 79 is a necessary truth [Kripke]
Scientific discoveries about gold are necessary truths [Kripke]
Once we've found that heat is molecular motion, then that's what it is, in all possible worlds [Kripke]
26. Natural Theory / D. Laws of Nature / 8. Scientific Essentialism / d. Knowing essences
Science searches basic structures in search of essences [Kripke]
27. Natural Reality / G. Biology / 5. Species
Tigers may lack all the properties we originally used to identify them [Kripke]
'Tiger' designates a species, and merely looking like the species is not enough [Kripke]
The original concept of 'cat' comes from paradigmatic instances [Kripke]
28. God / A. Divine Nature / 2. Divine Nature
If God is the abstract of Supremely Real Essence, then God is a mere Beyond, and unknowable [Hegel]
The older conception of God was emptied of human features, to make it worthy of the Infinite [Hegel]
God is the absolute thing, and also the absolute person [Hegel]
28. God / B. Proving God / 2. Proofs of Reason / a. Ontological Proof
We establish unification of the Ideal by the ontological proof, deriving being from abstraction of thinking [Hegel]